KEIJIRO ARAKI: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Florence, Italy (2015.5.18-2015.5.18)] 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering - VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification

Oda, Tomohiro, Araki, Keijiro, Larsen, Peter Gorm

Year:

2015

Language:

english

File:

PDF, 790 KB

english, 2015

2

Localization of Cytoskeletal Filaments During Membrane Rearrangement in Rat Parietal Cells Stimulated with Gastrin.

NAMIKAWA, Tsutomu, ARAKI, Keijiro, OGATA, Takuro

Journal:

Archives of Histology and Cytology

Year:

1998

Language:

english

File:

PDF, 18.09 MB

english, 1998

3

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 ||

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Year:

2003

Language:

english

File:

PDF, 8.40 MB

english, 2003

4

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 5256 || A Process Semantics for BPMN

Liu, Shaoying, Maibaum, Tom, Araki, Keijiro

Year:

2008

Language:

english

File:

PDF, 325 KB

english, 2008

5

An Immuno- and Enzyme Cytochemical Study of the H+-K+ ATPase in Human Parietal Cells after Administration of Tetragastrin and Omeprazole.

KOBAYASHI, Akihiro, ARAKI, Keijiro, ANDO, Toru, OGATA, Takuro

Journal:

Archives of Histology and Cytology

Year:

1997

Language:

english

File:

PDF, 11.74 MB

english, 1997

6

A Formal Modeling Tool for Exploratory Modeling in Software Development

ODA, Tomohiro, ARAKI, Keijiro, GORM LARSEN, Peter

Journal:

IEICE Transactions on Information and Systems

Year:

2017

Language:

english

File:

PDF, 911 KB

english, 2017

7

T cell cytotoxicity of autologous and allogeneic lymphocytes in a patient with Crohn's disease

Kazuichi Okazaki, Yuichi Yokoyama, Yasutake Yamamoto, Michiya Kobayashi, Keijiro Araki, Takuro Ogata

Journal:

Journal of Gastroenterology

Year:

1994

Language:

english

File:

PDF, 725 KB

english, 1994

8

A case of GI Burkitt-like lymphoma

Sayoko Shimazu, Michiya Kobayashi, Takehiro Okabayashi, Takeki Sugimoto, Tsutomu Namikawa, Ken Okamoto, Keijiro Araki

Journal:

Gastrointestinal Endoscopy

Year:

2004

Language:

english

File:

PDF, 244 KB

english, 2004

9

[Lecture Notes in Computer Science] Theoretical Aspects of Computing - ICTAC 2004 Volume 3407 || Idempotent Relations in Isabelle/HOL

Liu, Zhiming, Araki, Keijiro

Year:

2005

Language:

english

File:

PDF, 172 KB

english, 2005

10

[Lecture Notes in Computer Science] High Performance Computing Volume 1336 || NaraView: An interactive 3D visualization system for parallelization of programs

Polychronopoulos, Constantine, Joe, Kazuki, Araki, Keijiro, Amamiya, Makoto

Year:

1997

Language:

english

File:

PDF, 866 KB

english, 1997

11

Pit pattern and three-dimensional configuration of isolated crypts from the patients with colorectal neoplasm

Satoru Tamura, Yasuo Furuya, Takehisa Tadokoro, Yoshifumi Higashidani, Yuichi Yokoyama, Keijiro Araki, Saburo Onishi

Journal:

Journal of Gastroenterology

Year:

2002

Language:

english

File:

PDF, 476 KB

english, 2002

12

Clinicopathological features and medical management of intraductal papillary mucinous neoplasms

TAKEHIRO OKABAYASHI, MICHIYA KOBAYASHI, ISAO NISHIMORI, TAKEKI SUGIMOTO, TSUTOMU NAMIKAWA, KEN OKAMOTO, NOBUTO OKAMOTO, TAKUHIRO KOSAKI, SABURO ONISHI, KEIJIRO ARAKI

Journal:

Journal of Gastroenterology and Hepatology

Year:

2006

Language:

english

File:

PDF, 67 KB

english, 2006

13

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 || ProB: A Model Checker for B

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Year:

2003

Language:

english

File:

PDF, 267 KB

english, 2003

14

[Lecture Notes in Computer Science] High Performance Computing Volume 1336 || Exploiting parallel computers to reduce neural network training time of real applications

Polychronopoulos, Constantine, Joe, Kazuki, Araki, Keijiro, Amamiya, Makoto

Year:

1997

Language:

english

File:

PDF, 635 KB

english, 1997

15

[Lecture Notes in Computer Science] High Performance Computing Volume 1336 || The generation of optimized codes using nonzero structure analysis

Polychronopoulos, Constantine, Joe, Kazuki, Araki, Keijiro, Amamiya, Makoto

Year:

1997

Language:

english

File:

PDF, 1.36 MB

english, 1997

16

A case of early-stage gastric plasmacytoma

Tomoko Morita, Satoru Tamura, Yuichi Yokoyama, Takehisa Tadokoro, Yoshifumi Higashidani, Takayoshi Yamada, Saburo Onishi, Takeki Sugimoto, Kimio Matsuura, Keijiro Araki

Journal:

Journal of Gastroenterology

Year:

2002

Language:

english

File:

PDF, 136 KB

english, 2002

17

NaraView: An Interactive 3D Visualization System for Parallelization of Programs

Mariko Sasakura, Kazuki Joe, Yoshitoshi Kunieda, Keijiro Araki

Journal:

International Journal of Parallel Programming

Year:

1999

Language:

english

File:

PDF, 1004 KB

english, 1999

18

Diversity of Helicobacter pylori cagA and vacA Genes in Costa Rica: Its Relationship with Atrophic Gastritis and Gastric Cancer

Sergio A. Con, Hiroaki Takeuchi, Ana L. Valerín, Reinaldo Con-Wong, Gil R. Con-Chin, Vicky G. Con-Chin, Mitsuaki Nishioka, Fernando Mena, Fernando Brenes, Nobufumi Yasuda, Keijiro Araki, Tetsuro Sugiu

Journal:

Year:

2007

Language:

english

File:

PDF, 127 KB

english, 2007

19

Effects of geldanamycin and thalidomide on the Th1/Th2 cytokine balance in mice subjected to operative trauma

Takumi Nakano, Keijiro Araki, Hajime Nakatani, Michiya Kobayashi, Takeki Sugimoto, Yasuo Furuya, Takanori Matsuoka, Toufeng Jin, Kazuhiro Hanazaki

Journal:

Year:

2007

Language:

english

File:

PDF, 1.40 MB

english, 2007

20

[IEEE 2015 IIAI 4th International Congress on Advanced Applied Informatics (IIAI-AAI) - Okayama, Japan (2015.7.12-2015.7.16)] 2015 IIAI 4th International Congress on Advanced Applied Informatics - Adaptive Context-Awareness Model for Cultural Heritage Information Based on User Needs

Jailani, Abdul Kadir, Kusakabe, Shigeru, Araki, Keijiro

Year:

2015

Language:

english

File:

PDF, 1.83 MB

english, 2015

21

Synchronous Parathyroid Adenoma Concomitant With Papillary Thyroid Carcinoma

Okabayashi, Takehiro, Sugimoto, Takeki, Kobayashi, Michiya, Namikawa, Tsutomu, Okamoto, Ken, Araki, Keijiro

Journal:

The Endocrinologist

Year:

2004

Language:

english

File:

PDF, 1.14 MB

english, 2004

22

[Lecture Notes in Computer Science] High Performance Computing Volume 1336 (International Symposium, ISHPC'97 Fukuoka, Japan, November 4â6, 1997 Proceedings) || High performance parallel FFT on distributed memory parallel computers

Polychronopoulos, Constantine, Joe, Kazuki, Araki, Keijiro, Amamiya, Makoto

Year:

1997

File:

PDF, 538 KB

1997

23

A scanning electron microscopic study of the three-dimensional configuration of isolated crypts from human colon adenomas

Keijiro Araki, Michiya Kobayashi, Takuro Ogata

Journal:

Medical Molecular Morphology

Year:

1994

Language:

english

File:

PDF, 2.92 MB

english, 1994

24

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 || Model Checking FTA

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Year:

2003

Language:

english

File:

PDF, 389 KB

english, 2003

25

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 || Watchdog Transformations for Property-Oriented Model-Checking

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Year:

2003

Language:

english

File:

PDF, 196 KB

english, 2003

26

CONGENITAL NASAL STENOSIS

KOGA, KEIJIRO, KAWASHIRO, NOBUKO, TSUCHIHASHI, NOBUAKI, ARAKI, AKIO

Journal:

Nippon Jibiinkoka Gakkai Kaiho

Year:

1993

Language:

english

File:

PDF, 4.88 MB

english, 1993

27

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 || Java Applet Correctness: A Developer-Oriented Approach

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Year:

2003

Language:

english

File:

PDF, 520 KB

english, 2003

28

A morphological study of the pacemaker cells of the aganglionic intestine in Hirschsprung’s disease utilizing ls/ls model mice

Kan Taniguchi, Kimio Matsuura, Takanori Matsuoka, Hajime Nakatani, Takumi Nakano, Yasuo Furuya, Takeki Sugimoto, Michiya Kobayashi, Keijiro Araki

Journal:

Medical Molecular Morphology

Year:

2005

Language:

english

File:

PDF, 750 KB

english, 2005

29

Scanning electron microscopic study of the three-dimensional structure of the collagen sheath surrounding cancer cells after single high-dose irradiation

Michiya Kobayashi, Yasuo Furuya, Takehiro Okabayashi, Keijiro Araki

Journal:

Medical Molecular Morphology

Year:

2006

Language:

english

File:

PDF, 1.04 MB

english, 2006

30

STI571 (Glivec) inhibits the interaction between c-KIT and heat shock protein 90 of the gastrointestinal stromal tumor cell line, GIST-T1

Hajime Nakatani, Michiya Kobayashi, Toufeng Jin, Takahiro Taguchi, Takeki Sugimoto, Takumi Nakano, Shinichi Hamada, Keijiro Araki

Journal:

Year:

2005

Language:

english

File:

PDF, 135 KB

english, 2005

31

Stromal sarcoma of the breast with lung metastasis successfully treated by radiotherapy: Report of a case

Naoshige Tochika, Masamitsu Kumon, Yasuhiro Ogawa, Takeki Sugimoto, Keijiro Araki

Journal:

Year:

2000

Language:

english

File:

PDF, 1.22 MB

english, 2000

32

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 || Proving the Shalls

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Year:

2003

Language:

english

File:

PDF, 160 KB

english, 2003

33

Three-Dimensional Organization of Lymphatics in the Dog Stomach: A Scanning Electron Microscopic Study of Corrosion Casts.

SUGITO, Masanori, ARAKI, Keijiro, OGATA, Takuro

Journal:

Archives of Histology and Cytology

Year:

1996

Language:

english

File:

PDF, 16.41 MB

english, 1996

34

[Lecture Notes in Computer Science] High Performance Computing Volume 1336 || Achieving multi-level parallelization

Polychronopoulos, Constantine, Joe, Kazuki, Araki, Keijiro, Amamiya, Makoto

Year:

1997

File:

PDF, 638 KB

1997

35

A scanning electron microscopic study of basal lamina pores on human colonic mucosas

Keijiro Araki, Michiya Kobayashi, Takuro Ogata

Journal:

Medical Molecular Morphology

Year:

1995

Language:

english

File:

PDF, 2.55 MB

english, 1995

36

Conventional and Molecular Cytogenetic Characterization of a New Human Cell Line, GIST-T1, Established from Gastrointestinal Stromal Tumor

Taguchi, Takahiro, Sonobe, Hiroshi, Toyonaga, Shin-ichi, Yamasaki, Ichiro, Shuin, Taro, Takano, Atsushi, Araki, Keijiro, Akimaru, Kunihiro, Yuri, Kazunari

Journal:

Laboratory Investigation

Year:

2002

Language:

english

File:

PDF, 554 KB

english, 2002

37

Radiographic diagnosis of congenital bony nasal stenosis

Keijiro Koga, Nobuko Kawashiro, Akio Araki, Nobuaki Tsuchihashi, Makoto Sakai

Journal:

International Journal of Pediatric Otorhinolaryngology

Year:

2001

Language:

english

File:

PDF, 527 KB

english, 2001

38

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 5256 || A Formal Descriptive Semantics of UML

Liu, Shaoying, Maibaum, Tom, Araki, Keijiro

Year:

2008

Language:

english

File:

PDF, 395 KB

english, 2008

39

[ACM Press the 11th edition of the International Workshop - Prague, Czech Republic (2016.08.23-2016.08.24)] Proceedings of the 11th edition of the International Workshop on Smalltalk Technologies - IWST'16 - ViennaTalk and Assertch

Oda, Tomohiro, Araki, Keijiro, Larsen, Peter Gorm

Year:

2016

Language:

english

File:

PDF, 570 KB

english, 2016

40

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 (International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings) || Adaptable Translator of B Specifications to Embedded C Programs

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Year:

2003

File:

PDF, 243 KB

2003

41

[ACM Press the 2nd FME Workshop - Hyderabad, India (2014.06.03-2014.06.03)] Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering - FormaliSE 2014 - Generating supportive hypotheses in introducing formal methods using a software processes improvement model

Kusakabe, Shigeru, Lin, Hsin-Hung, Omori, Yoichi, Araki, Keijiro

Year:

2014

Language:

english

File:

PDF, 1.43 MB

english, 2014

42

Localization of thymidine phosphorylase in breast cancer tissue

Michiya Kobayashi, Takeki Sugimoto, Takehiro Okabayashi, Ken Okamoto, Tsutomu Namikawa, Naoshige Tochika, Toshiaki Moriki, Keijiro Araki

Journal:

Medical Molecular Morphology

Year:

2005

Language:

english

File:

PDF, 693 KB

english, 2005

43

[IEEE 2010 IEEE Region 10 Conference (TENCON 2010) - Fukuoka (2010.11.21-2010.11.24)] TENCON 2010 - 2010 IEEE Region 10 Conference - A framework for formal specification considering review and specification-based testing

Nakatsugawa, Yasumasa, Kurita, Taro, Araki, Keijiro

Year:

2010

Language:

english

File:

PDF, 119 KB

english, 2010

44

[Lecture Notes in Computer Science] High Performance Computing Volume 1336 || Parallel PDB data retriever “PDB diving booster”

Polychronopoulos, Constantine, Joe, Kazuki, Araki, Keijiro, Amamiya, Makoto

Year:

1997

Language:

english

File:

PDF, 569 KB

english, 1997

45

Vocal cord paralysis in children.

Kawashiro, Nobuko, Koga, Keijiro, Araki, Akio, Yamato, Jungo, Iwasaki, Yukio, Tsuchiya, Yasuko

Journal:

Nihon Kikan Shokudoka Gakkai Kaiho

Year:

1986

Language:

english

File:

PDF, 3.06 MB

english, 1986

46

[Lecture Notes in Computer Science] High Performance Computing Volume 1336 || Improving the performance of automated forward deduction system EnCal

Polychronopoulos, Constantine, Joe, Kazuki, Araki, Keijiro, Amamiya, Makoto

Year:

1997

Language:

english

File:

PDF, 718 KB

english, 1997

47

Ultra-high-resolution scanning electron microscopy of the sarcoplasmic reticulum of the rat atrial myocardial cells

Yuichi Yamasaki, Yasuo Furuya, Keijiro Araki, Kimio Matsuura, Michiya Kobayashi, Takuro Ogata

Journal:

The Anatomical Record Advances in Integrative Anatomy and Evolutionary Biology

Year:

1997

Language:

english

File:

PDF, 585 KB

english, 1997

48

[IEEE IECON 2007 - 33rd Annual Conference of the IEEE Industrial Electronics Society - Taipei, Taiwan (2007.11.5-2007.11.8)] IECON 2007 - 33rd Annual Conference of the IEEE Industrial Electronics Society - Optimization of Controls for State Feedback using Controlled Dan/Petri Nets

Serrano, Eleazar Jimenez, Araki, Keijiro, Kusakabe, Shigeru

Year:

2007

Language:

english

File:

PDF, 558 KB

english, 2007

49

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 || SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Year:

2003

Language:

english

File:

PDF, 265 KB

english, 2003

50

[Lecture Notes in Computer Science] High Performance Computing Volume 1336 || Scenario-based hypersequential programming: Formulation of parallelization

Polychronopoulos, Constantine, Joe, Kazuki, Araki, Keijiro, Amamiya, Makoto

Year:

1997

Language:

english

File:

PDF, 793 KB

english, 1997

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски